function play_audio() {
	document.getElementById('audio').play();
}
function pause_audio() {
	document.getElementById('audio').pause();
}